Models of computation - PDFSEARCH.IO - Document Search Engine

Models of computation
Results: 1716

#	Item
41	Microsoft Word - CFPDraft- PN Add to Reading List Source URL: petrinets2014.cnam.fr Language: English - Date: 2013-06-24 11:01:34 Concurrency Models of computation Petri nets Theoretical computer science International Conference on Applications and Theory of Petri Nets and Concurrency Software engineering Diagrams Computing Model checking Wil van der Aalst Petri
42	! An Agent-Based Approach to Modeling Membrane Formation Bryan Head, Kai Orton, Uri Wilensky Center for Connected Learning and Computer-Based Modeling Add to Reading List Source URL: ccl.northwestern.edu Language: English - Date: 2016-05-03 12:24:06 Academia Systems science Membrane biology Biology Systems theory Scientific modeling Models of computation Organelles Cell membrane Agent-based model Biological membrane Scientific modelling
43	A Brief Tour of Theoretical Tile Self-Assembly Andrew Winslow Universit´e Libre de Bruxelles, Brussels, Belgium Abstract The author gives a brief historical tour of theoretical tile selfassembly via c Add to Reading List Source URL: www.eecs.tufts.edu Language: English - Date: 2016-06-08 17:28:44 Models of computation Theoretical computer science Theory of computation Academia DNA Molecular biology Formal methods Natural computing DNA computing Turing machine
44	Microsoft PowerPointTunis Brauer.pptx Add to Reading List Source URL: petrinets2014.cnam.fr Language: English - Date: 2014-06-30 10:08:35 Surname Petri nets Theoretical computer science Formal methods Concurrency Diagrams Models of computation Wilfried Brauer Carl Adam Petri Brauer Petri Rdiger Valk
45	Microsoft Word - IJIMA03-02.docx Add to Reading List Source URL: www.foibg.com Language: English - Date: 2015-02-02 08:39:30 LL parser Characteristic function Models of computation Software engineering Petri nets Analysis Concurrency Computer programming
46	Static Analysis of Event-Driven Node.js JavaScript Applications Magnus Madsen Frank Tip Ondˇrej Lhot´ak Add to Reading List Source URL: plg.uwaterloo.ca Language: English - Date: 2016-05-16 09:01:50 Software engineering Software Computing Models of computation Cross-platform software Scripting languages Joyent Node.js Lambda calculus Event Call graph JavaScript
47	Types and Type-Free λ-Calculus Dana S. Scott, FBA, FNAS University Professor Emeritus Carnegie Mellon University Visiting Scholar Add to Reading List Source URL: www1.maths.leeds.ac.uk Language: English - Date: 2016-06-16 11:50:12 Computability theory Theoretical computer science Mathematical logic Theory of computation Models of computation Formal methods Logic in computer science Lambda calculus Recursively enumerable set -recursive function Denotational semantics Numbering
48	MCS 441 – Theory of Computation I Spring 2016 Problem Set 4 Lev Reyzin Due: at the beginning of class Add to Reading List Source URL: homepages.math.uic.edu Language: English - Date: 2016-03-11 11:17:16 Theoretical computer science Turing machine Theory of computation Computability theory Computer science Alan Turing Models of computation Machine that always halts Computability NP
49	Strong systematicity in sentence processing by simple recurrent networks Phil´emon Brakel () Stefan L. Frank () Institute for Logic, Language, and Computation, University of Amsterdam Sci Add to Reading List Source URL: www.stefanfrank.info Language: English - Date: 2012-03-11 05:05:11 Computational neuroscience Cognitive science Artificial neural networks Cognition Cybernetics Markov models Statistical natural language processing Recurrent neural network Language model Connectionism Convolutional neural network Transformational grammar
50	Petri Nets in Secondary CS Education Michael Rücker Niels Pinkwart Humboldt-Universität zu Berlin Add to Reading List Source URL: cses.informatik.hu-berlin.de Language: English - Date: 2014-11-13 08:07:59 Concurrency Models of computation Diagrams Petri nets Software engineering Petri Lesson plan Conceptual model Education Abstraction Nets within Nets